Vardi, Moshe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

What is an algorithm?

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 473 KB

english, 2012

2

Risk factors for early neonatal sepsis

Shimrit Yaniv Salem, Eyal Sheiner, Ehud Zmora, Hillel Vardi, Ilana Shoham-Vardi, Moshe Mazor

Journal:

Archives of Gynecology and Obstetrics

Year:

2006

Language:

english

File:

PDF, 185 KB

english, 2006

3

On the foundations of the universal relation model

Maier, David, Ullman, Jeffrey D., Vardi, Moshe Y.

Journal:

ACM Transactions on Database Systems

Year:

1984

Language:

english

File:

PDF, 1.99 MB

english, 1984

4

satisfiability checking

Li, Jianwen, Pu, Geguang, Zhang, Yueling, Vardi, Moshe Y., Rozier, Kristin Y.

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 712 KB

2020

5

Common knowledge revisited

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 1.30 MB

english, 1999

6

Relating word and tree automata

Orna Kupferman, Shmuel Safra, Moshe Y. Vardi

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

7

Primiparity is an independent risk factor for preterm delivery in twin gestations: A population based study

Offer Erez, Amit Mayer, Ilana shoham-Vardi, Doron Dukler, Moshe Mazor

Journal:

American Journal of Obstetrics and Gynecology

Year:

2004

Language:

english

File:

PDF, 62 KB

english, 2004

8

Aggregating disparate estimates of chance

Daniel Osherson, Moshe Y. Vardi

Journal:

Games and Economic Behavior

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

9

BDD-based decision procedures for the modal logic K ★

Pan, Guoqiang, Sattler, Ulrike, Vardi, Moshe Y.

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 428 KB

english, 2006

10

On the Unusual Effectiveness of Logic in Computer Science

Halpern, Joseph Y., Harper, Robert, Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y., Vianu, Victor

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 2.10 MB

english, 2001

11

What is an inference rule?

Fagin, Ronald, Halpern, Joseph Y., Vardi, Moshe Y.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 1.97 MB

english, 1992

12

Would Turing have won the Turing award?

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2017

Language:

english

File:

PDF, 480 KB

english, 2017

13

Are we having an ethical crisis in computing?

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2018

Language:

english

File:

PDF, 480 KB

english, 2018

14

A nonstandard approach to the logical omniscience problem

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Journal:

Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 2.71 MB

english, 1995

15

The complexity of reasoning about knowledge and time. I. Lower bounds

Joseph Y. Halpern, Moshe Y. Vardi

Journal:

Journal of Computer and System Sciences

Year:

1989

Language:

english

File:

PDF, 2.89 MB

english, 1989

16

Verification of concurrent programs: the automata-theoretic framework

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.56 MB

english, 1991

17

Computing with infinitary logic

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.82 MB

english, 1995

18

Undecidable boundedness problems for datalog programs

Gerd G Hillebrand, Paris C Kanellakis, Harry G Mairson, Moshe Y Vardi

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.76 MB

english, 1995

19

The hierarchical approach to modeling knowledge and common knowledge

Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi

Journal:

International Journal of Game Theory

Year:

1999

Language:

english

File:

PDF, 326 KB

english, 1999

20

Knowledge-based programs

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Journal:

Distributed Computing

Year:

1997

Language:

english

File:

PDF, 622 KB

english, 1997

21

Towards an Efficient Library for SAT: a Manifesto

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 886 KB

2001

22

Reasoning about Knowledge: A Response by the Authors

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Journal:

Minds and Machines

Year:

1997

Language:

english

File:

PDF, 10 KB

english, 1997

23

Risk factors associated with true knots of the umbilical cord

Reli Hershkovitz, Tali Silberstein, Eyal Sheiner, Ilana Shoham-Vardi, Gershon Holcberg, Miriam Katz, Moshe Mazor

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

2001

Language:

english

File:

PDF, 68 KB

english, 2001

24

Perinatal outcome and peripartum complications in preterm singleton and twins deliveries: a comparative study

Miri Mizrahi, Boris Furman, Ilana Shoham-Vardi, Hillel Vardi, Eli Maymon, Moshe Mazor

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

1999

Language:

english

File:

PDF, 326 KB

english, 1999

25

Who begat computing?

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2013

Language:

english

File:

PDF, 8.14 MB

english, 2013

26

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

Feder, Tomás, Vardi, Moshe Y.

Journal:

SIAM Journal on Computing

Year:

1998

Language:

english

File:

PDF, 572 KB

english, 1998

27

Artificial intelligence

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 95 KB

english, 2012

28

[IEEE 2010 IEEE International Conference on Robotics and Automation (ICRA 2010) - Anchorage, AK (2010.05.3-2010.05.7)] 2010 IEEE International Conference on Robotics and Automation - Sampling-based motion planning with temporal goals

Bhatia, Amit, Kavraki, Lydia E, Vardi, Moshe Y

Year:

2010

Language:

english

File:

PDF, 1.63 MB

english, 2010

29

[IEEE 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Tucson, AZ, USA (1983.11.7-1983.11.9)] 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Reasoning about infinite computation paths

Wolper, Pierre, Vardi, Moshe Y., Sistla, A. Prasad

Year:

1983

Language:

english

File:

PDF, 1.21 MB

english, 1983

30

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Verification of an implementation of Tomasulo's algorithm by compositional model checking

Hu, Alan J., Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 803 KB

english, 1998

31

Science has only two legs

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 97 KB

english, 2010

32

Predatory scholarly publishing

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 473 KB

english, 2012

33

Weak alternating automata are not that weak

Kupferman, Orna, Vardi, Moshe Y.

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 183 KB

english, 2001

34

Reasoning About Strategies

Mogavero, Fabio, Murano, Aniello, Perelli, Giuseppe, Vardi, Moshe Y.

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 783 KB

english, 2014

35

A model-theoretic analysis of knowledge

Fagin, Ronald, Halpern, Joseph Y., Vardi, Moshe Y.

Journal:

Journal of the ACM

Year:

1991

Language:

english

File:

PDF, 3.47 MB

english, 1991

36

Supervisory control and reactive synthesis: a comparative introduction

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.16 MB

english, 2017

37

Technology has social consequences

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 88 KB

english, 2011

38

On the Decision Problem for Two-Variable First-Order Logic

Erich Grädel, Phokion G. Kolaitis and Moshe Y. Vardi

Journal:

Bulletin of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 551 KB

english, 1997

39

[Studies in Logic and Practical Reasoning] Handbook of Modal Logic Volume 3 || 17 Automata-theoretic techniques for temporal reasoning

Vardi, Moshe Y.

Year:

2007

Language:

english

File:

PDF, 353 KB

english, 2007

40

Role of the mental health professional: Therapist-healer or agent of social change? A historical perspective.

Journal:

Professional Psychology

Year:

1972

Language:

english

File:

PDF, 273 KB

english, 1972

41

A Diamond:H/WO3 Metal-Oxide-Semiconductor Field-Effect Transistor

Yin, Zongyou, Tordjman, Moshe, Vardi, Alon, Kalish, Rafi, del Alamo, Jesus A.

Journal:

IEEE Electron Device Letters

Year:

2018

Language:

english

File:

PDF, 607 KB

english, 2018

42

An explicit transition system construction approach to LTL satisfiability checking

Li, Jianwen, Zhang, Lijun, Zhu, Shufang, Pu, Geguang, Vardi, Moshe Y., He, Jifeng

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 1.09 MB

english, 2018

43

Hemoglobin levels and blood transfusion in patients with sepsis in Internal Medicine Departments

Muady, Gassan Fuad, Bitterman, Haim, Laor, Arie, Vardi, Moshe, Urin, Vitally, Ghanem-Zoubi, Nesrin

Journal:

BMC Infectious Diseases

Year:

2016

Language:

english

File:

PDF, 660 KB

english, 2016

44

How the hippies destroyed the internet

Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2018

Language:

english

File:

PDF, 480 KB

english, 2018

45

A Rice University perspective on software engineering licensing

Kennedy, Ken, Vardi, Moshe Y.

Journal:

Communications of the ACM

Year:

2002

Language:

english

File:

PDF, 53 KB

english, 2002

46

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks

He, Keliang, Wells, Andrew M., Kavraki, Lydia E., Vardi, Moshe Y.

Year:

2019

Language:

english

File:

PDF, 175 KB

english, 2019

47

Unbounded Orchestrations of Transducers for Manufacturing

Alechina, Natasha, BrÃ¡zdil, TomÃ¡Å¡, De Giacomo, Giuseppe, Felli, Paolo, Logan, Brian, Vardi, Moshe Y.

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

File:

PDF, 302 KB

2019

48

Prevalence and clinical significance of postpartum endometritis and wound infection

Walter Chaim, Asher Bashiri, Juri Bar-David, Ilana Shoham-Vardi, Moshe Mazor

Journal:

Infectious Diseases in Obstetrics and Gynecology

Year:

2000

Language:

english

File:

PDF, 101 KB

english, 2000

49

IN MEMORIAM Paris C. Kanellakis (1953–1995)

Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alex A. Shvartsman, Moshe Y. Vardi

Journal:

Journal of Algorithms

Year:

1996

Language:

english

File:

PDF, 96 KB

english, 1996

50

On the Equivalence of Recursive and Nonrecursive Datalog Programs

Surajit Chaudhuri, Moshe Y Vardi

Journal:

Journal of Computer and System Sciences

Year:

1997

Language:

english

File:

PDF, 591 KB

english, 1997